0
EUR
00,00*
Warenkorb EUR 00,00 *
Filter
    Erweiterte Suche
    Konto anlegen
    1. Startseite
    2. Formal Verifications – alle Bücher

    Trefferliste "Formal Verifications" - alle Bücher

    Wir konnten keine exakten Treffer zu Ihrer Suche nach "formal verifications" finden. Könnten diese Produkte zu Ihrer Suche passen?

    Ansicht:

    Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification

    Lecture Notes in Computer Science -Band 15221

    The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 81,04

    Leveraging Applications of Formal Methods, Verification and Validation. Application Areas

    Lecture Notes in Computer Science -Band 15223

    The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 54,75

    Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies

    Lecture Notes in Computer Science -Band 15222

    The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 72,27

    Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems

    Lecture Notes in Computer Science -Band 15220

    The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 72,27

    Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola

    Lecture Notes in Computer Science -Band 15219

    The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 81,04

    Daniel Große, Lucas Klemmer
    Versatile Hardware Analysis Techniques

    This book describes several versatile hardware analysis techniques that tackle existing and new challenges. These techniques cover different phases of the hardware development process, including the verif…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 131,42

    Formal Methods: Foundations and Applications

    This book constitutes the refereed proceedings of the 27th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2024, held in Vitória, Brazil, during December 4 6, 2024. The 8 full p…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 63,51

    Agents and Robots for reliable Engineered Autonomy

    This book constitutes the proceedings of the 4th Workshops on Agents and Robots for Reliable Engineered Autonomy, AREA 2024, which took place in Santiago de Compostela, Spain, on October 19, 2024, in conj…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 65,71

    Sanjay
    The Dependability Revolution: Mathematical Tools for Building Secure, Reliable Systems

    "The Dependability Revolution: Mathematical Tools for Building Secure, Reliable Systems" dives into the fascinating world of formal methods for ensuring the smooth operation of critical systems. Imagine a…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 28,19

    Formal Methods

    Lecture Notes in Computer Science -Band 14934

    The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024. The 5…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 164,28

    Networked Systems

    Lecture Notes in Computer Science -Band 14783

    This book constitutes the refereed proceedings of the 12th International Conference on Networked Systems, NETYS 2024, held in Rabat, Morocco, during May 29-31, 2024. The 14 full papers and 3 short papers…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 63,51

    Formal Methods

    Lecture Notes in Computer Science -Band 14933

    The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024. The 5…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 43,80

    Rebeca for Actor Analysis in Action

    This Festschrift volume, dedicated to Marjan Sirjani on the occasion of her 60th birthday, includes refereed papers by leading researchers. Marjan Sirjani received her PhD in Computer Engineering from Sh…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 72,27
    Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.
    © jpc-Schallplatten-Versandhandelsgesellschaft mbH